It should not only be possible to reason about a knowledge representation, but also to do so efficiently, with acceptable levels of computatonal power to be economic and sufficiently quickly to be useful.
Used in Chap. 2: pages 14, 16, 18, 19, 20
Used in Chap. 2: pages 14, 16, 18, 19, 20